System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
131	BRICS RS-05-8 P. D. Mosses: Exploiting Labels in Structural Operational Semantics BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-03-21 06:24:57 Programming language semantics Applied mathematics Symbol Denotational semantics State transition system Operational semantics Theoretical computer science Models of computation Logic in computer science
132	Petrozavodsk State University Department of Computer Science Sergey Marchenkov, Andrey Vdovenko, Dmitry Korzun Enhancing the SmartRoom System Add to Reading List Source URL: www.cs.karelia.ru Language: English - Date: 2015-05-15 09:52:11 Keyhole Markup Language Web 2.0 Smart-M3 Computing Flickr Tourism Application programming interface World Wide Web Social information processing Human behavior
133	Nested Virtualization Friendly KVM Sheng Yang, Qing He, Eddie Dong Software & Services Group 1 Add to Reading List Source URL: www.linux-kvm.org Language: English - Date: 2015-06-23 18:18:00 Hardware virtualization Programming language implementation Hyper-V Virtualization Xen VM Extended Page Table Hardware-assisted virtualization System software Software Virtual machines
134	Semantic Subtyping for Objects and Classes Ornela Dardha1 Daniele Gorla2 Daniele Varacca3 Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2014-11-21 05:56:58 Data types Object-oriented programming Programming language theory Subtype polymorphism Type system Polymorphism E Inheritance Lambda calculus Software engineering Type theory Computing
135	VISTA: VPO Interactive System for Tuning Applications PRASAD KULKARNI, WANKANG ZHAO, STEPHEN HINES, DAVID WHALLEY, XIN YUAN, ROBERT VAN ENGELEN and KYLE GALLIVAN Computer Science Department, Florida State University JASO Add to Reading List Source URL: www.cs.fsu.edu Language: English - Date: 2006-03-04 10:34:36 Compiler construction Compiler optimizations Programming language implementation Compiler Inline expansion Code generation Static single assignment form Program optimization Intermediate language Software engineering Computing Computer programming
136	Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† † Add to Reading List Source URL: schemeworkshop.org Language: English - Date: 2011-08-12 16:48:39 Type theory Data types Functional languages Object-oriented programming Procedural programming languages Type system Type safety Subtype polymorphism Polymorphism Software engineering Computing Programming language theory
137	SelfAwareSystemsOverview.fm Add to Reading List Source URL: www.dreamsongs.com Language: English - Date: 2012-08-04 15:58:27 Control flow Exception handling Programming language Software Self Embedded system C Software engineering Computing Computer programming
138	Today’s Big Adventure Linking as our first naming system • Naming is a very deep theme that comes up everywhere • Naming system: maps names to values Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2010-01-26 18:54:36 Compiler construction Memory management Programming language implementation C++ A.out Library Relocation Static library Data segment Computing Software Computer programming
139	Verified Compilers for a Multi-Language World∗ Amal Ahmed Northeastern University Abstract Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 22:37:06 Type theory Procedural programming languages Compiler construction Cross-platform software Functional languages LLVM Type system Compiler Type safety Software engineering Computing Programming language theory
140	Microsoft Word - BreakThrough Add to Reading List Source URL: www.dreamsongs.com Language: English - Date: 2012-08-04 15:54:25 Notation Programming language Abstraction Robustness System programming Software Computing Programming paradigms Software engineering

UPDATE